<html>
<head><meta charset="utf-8"><title>2020-07-02 meeting agenda · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html">2020-07-02 meeting agenda</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="201997099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/201997099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#201997099">(Jun 25 2020 at 17:10)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> I've just created our next meeting agenda <a href="https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA">https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA</a> from the template. Feel free to start filling parts of it at your will, of course as always, closer to the meeting date we are going to properly review and tidy it up.</p>



<a name="201997343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/201997343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#201997343">(Jun 25 2020 at 17:12)</a>:</h4>
<p>as soon as you see beta/stable nominations, I-nominated, P-critical, PRs waiting and all that, follow the instructions on the appropriate topic and add content directly to the agenda</p>



<a name="202609145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202609145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202609145">(Jul 01 2020 at 18:56)</a>:</h4>
<p>going to start filling the agenda</p>



<a name="202609199"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202609199" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202609199">(Jul 01 2020 at 18:56)</a>:</h4>
<p>going to check how many missing prioritizations do we have</p>



<a name="202627011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202627011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202627011">(Jul 01 2020 at 21:36)</a>:</h4>
<p>the agenda first version is here <a href="https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA?both">https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA?both</a></p>



<a name="202627025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202627025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202627025">(Jul 01 2020 at 21:36)</a>:</h4>
<p>we need to fill with information behind each item</p>



<a name="202627030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202627030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202627030">(Jul 01 2020 at 21:36)</a>:</h4>
<p>will start doing that now :)</p>



<a name="202631007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631007">(Jul 01 2020 at 22:25)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> are we getting pings for nominations?</p>



<a name="202631070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631070">(Jul 01 2020 at 22:26)</a>:</h4>
<p>and I saw you nominated this one <a href="https://github.com/rust-lang/rust/issues/71104">#71104</a>, do you want to explain a bit the nomination?</p>



<a name="202631071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631071">(Jul 01 2020 at 22:26)</a>:</h4>
<p>We’re supposed to</p>



<a name="202631088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631088">(Jul 01 2020 at 22:26)</a>:</h4>
<p>I'm not sure why I don't see any topic about nominations on alerts</p>



<a name="202631135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631135">(Jul 01 2020 at 22:27)</a>:</h4>
<p>ohh I see</p>



<a name="202631136"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631136" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631136">(Jul 01 2020 at 22:27)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/blob/665190b34609c5204a3bd57c571c1dff4d8bc5f2/triagebot.toml#L95">https://github.com/rust-lang/rust/blob/665190b34609c5204a3bd57c571c1dff4d8bc5f2/triagebot.toml#L95</a></p>



<a name="202631138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631138">(Jul 01 2020 at 22:27)</a>:</h4>
<p>:)</p>



<a name="202631162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631162">(Jul 01 2020 at 22:27)</a>:</h4>
<p>That issue was nominated because it blocks intra-doc links in rustdoc and it has no clear path</p>



<a name="202631217"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631217" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631217">(Jul 01 2020 at 22:28)</a>:</h4>
<p>opening a pr to the rust repo about this</p>



<a name="202631261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631261">(Jul 01 2020 at 22:28)</a>:</h4>
<p>I already did</p>



<a name="202631287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631287">(Jul 01 2020 at 22:29)</a>:</h4>
<p>I’m just surprised it wasn’t merged yet</p>



<a name="202631329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631329">(Jul 01 2020 at 22:29)</a>:</h4>
<p>Here: <a href="https://github.com/rust-lang/rust/issues/73865">#73865</a></p>



<a name="202631389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631389">(Jul 01 2020 at 22:30)</a>:</h4>
<p>Ping <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> before it’s too late :D</p>



<a name="202631416"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631416" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631416">(Jul 01 2020 at 22:30)</a>:</h4>
<p>ohh great :)</p>



<a name="202631538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631538">(Jul 01 2020 at 22:32)</a>:</h4>
<p>it seems like the rollup is not mergeable</p>



<a name="202631628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202631628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202631628">(Jul 01 2020 at 22:33)</a>:</h4>
<p>well from what I'm seeing it seems that the rollup that includes your PR was superseeded by another one that other one gave a timeout and then unsure :)</p>



<a name="202632150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202632150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202632150">(Jul 01 2020 at 22:40)</a>:</h4>
<p>Anyway it’s not a huge deal, it just means that we receive notifs in the topics used for prioritization</p>



<a name="202632182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202632182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202632182">(Jul 01 2020 at 22:41)</a>:</h4>
<p><em>But it’s my mistake and I’d like it to be fixed someday</em> x)</p>



<a name="202632668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202632668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202632668">(Jul 01 2020 at 22:46)</a>:</h4>
<p>yeah prs in rollups are not guaranteed to be included in the next rollup if one of them fails :P</p>



<a name="202635610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202635610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202635610">(Jul 01 2020 at 23:30)</a>:</h4>
<p>I think there are things that should not be included in rollups but  this one is one of those that should be <code>@bors r+ rollup=always include_it=even_if_the_sky_is_falling do_not_forget_about_me=true</code></p>



<a name="202636671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202636671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202636671">(Jul 01 2020 at 23:46)</a>:</h4>
<p>different people have different views on rollups already and i think better to <span aria-label="zip it" class="emoji emoji-1f910" role="img" title="zip it">:zip_it:</span>  at that :D</p>



<a name="202685741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202685741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202685741">(Jul 02 2020 at 13:14)</a>:</h4>
<p>agenda is almost ready</p>



<a name="202685766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202685766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202685766">(Jul 02 2020 at 13:14)</a>:</h4>
<p>please take a look <a href="https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA?both">https://hackmd.io/zg0MC_eEQkqvsXO0uQnXpA?both</a></p>



<a name="202685785"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202685785" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202685785">(Jul 02 2020 at 13:14)</a>:</h4>
<p>last remaining stuff is to write some text about nominations</p>



<a name="202685796"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202685796" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202685796">(Jul 02 2020 at 13:14)</a>:</h4>
<p>doing that right now</p>



<a name="202687092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202687092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202687092">(Jul 02 2020 at 13:23)</a>:</h4>
<p>it seems like <a href="https://github.com/rust-lang/rust/issues/72983">#72983</a> nomination didn't create any topic on <a class="stream" data-stream-id="245100" href="/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts">#t-compiler/wg-prioritization/alerts</a>, unsure what happened cc <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span></p>



<a name="202689560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202689560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202689560">(Jul 02 2020 at 13:42)</a>:</h4>
<p>agenda is now ready, doing a final pass to check if there are some last minute updates in some of our issues</p>



<a name="202690464"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202690464" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202690464">(Jul 02 2020 at 13:49)</a>:</h4>
<p>ok done :)</p>



<a name="202702999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202702999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202702999">(Jul 02 2020 at 15:22)</a>:</h4>
<blockquote>
<p>it seems like <a href="https://github.com/rust-lang/rust/issues/72983">#72983</a> nomination didn't create any topic on <a class="stream" data-stream-id="245100" href="/#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts">#t-compiler/wg-prioritization/alerts</a>, unsure what happened cc <span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span></p>
</blockquote>
<p><code>T-compiler</code> label wasn’t present when the <code>I-nominated</code> label was applied</p>



<a name="202703034"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202703034" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202703034">(Jul 02 2020 at 15:23)</a>:</h4>
<p>(I assume so at least)</p>



<a name="202703115"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202703115" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202703115">(Jul 02 2020 at 15:23)</a>:</h4>
<p>Yes, that’s it. Removing and re-adding the label works</p>



<a name="202703235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02%20meeting%20agenda/near/202703235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/2020-07-02.20meeting.20agenda.html#202703235">(Jul 02 2020 at 15:24)</a>:</h4>
<p>ahh interesting</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>